|
|
Hlavní nabídka Prohlížení IS/STAG
Nalezené předměty, počet: 1
Stránkování výsledků vyhledávání
Nalezeno 1 záznamů
Export do Xls
Informace o předmětu
KIV / TI
:
Popis předmětu
Pracoviště / Zkratka
|
KIV
/
TI
|
Akademický rok
|
2023/2024
|
Akademický rok
|
2023/2024
|
Název
|
Teoretická informatika
|
Způsob zakončení
|
Zkouška
|
Způsob zakončení
|
Zkouška
|
Akreditováno / Kredity
|
Ano,
6
Kred.
|
Forma zakončení
|
Písemná
|
Forma zakončení
|
Písemná
|
Rozsah hodin
|
Přednáška
3
[HOD/TYD]
Cvičení
2
[HOD/TYD]
|
Zápočet před zkouškou
|
Ano
|
Zápočet před zkouškou
|
Ano
|
Automatické uznávání zápočtu před zkouškou
|
Ne
|
Počítán do průměru
|
ANO
|
Vyučovací jazyk
|
Čeština
|
Obs/max
|
|
|
|
Automatické uznávání zápočtu před zkouškou
|
Ne
|
Letní semestr
|
0 / -
|
0 / -
|
0 / -
|
Počítán do průměru
|
ANO
|
Zimní semestr
|
74 / -
|
0 / -
|
0 / 0
|
Opakovaný zápis
|
NE
|
Opakovaný zápis
|
NE
|
Rozvrh
|
Ano
|
Vyučovaný semestr
|
Zimní semestr
|
Vyučovaný semestr
|
Zimní semestr
|
Minimum (B + C) studentů
|
10
|
Volně zapisovatelný předmět |
Ano
|
Volně zapisovatelný předmět
|
Ano
|
Vyučovací jazyk
|
Čeština
|
Počet dnů praxe
|
0
|
Počet hodin kontaktní výuky |
|
Hodnotící stupnice |
1|2|3|4 |
Periodicita |
každý rok
|
Hodnotící stupnice pro zp. před zk. |
S|N |
Periodicita upřesnění |
|
Základní teoretický předmět |
Ano
|
Profilující předmět |
Ne
|
Základní teoretický předmět |
Ano
|
Hodnotící stupnice |
1|2|3|4 |
Hodnotící stupnice pro zp. před zk. |
S|N |
Nahrazovaný předmět
|
Žádný
|
Vyloučené předměty
|
Nejsou definovány
|
Podmiňující předměty
|
Nejsou definovány
|
Předměty informativně doporučené
|
KMA/DMA nebo KMA/LA2 a KIV/PPA2
|
Předměty,které předmět podmiňuje
|
KMA/TIS, KSO/SBZIM
|
Graf četnosti udělených hodnocení studentům napříč roky:
Obrázek PNG
,
XLS
|
Cíle předmětu (anotace):
|
Cílem předmětu je seznámit studenty se základními teoretickými modely, principy a postupy, na kterých je založena computer science (konečné automaty, formální jazyky, teorie informace, kódování, výrokový počet). Nabyté znalosti student uplatní při následném studiu odborných předmětů zejména z oblasti počítačových sítí, operačních systémů, překladačů a umělé inteligence.
|
Požadavky na studenta
|
Požadavky na zápočet : Nadpoloviční počet bodů z kontrolního testu v posledním úplném týdnu semestru. Splnění podmínek individuálního projektu.
Z důvodu průběžné aktualizace předmětu je pro získání zápočtu při opakovaném zapsání předmětu (viz SZŘ čl. 24 odst. 3) nutné souhlasné vyjádření garanta předmětu.
Zkouška: Zkouška je kombinovaná. V písemné části jsou zadány dvě výpočetní úlohy z různých okruhů probírané látky. Na písemnou část je 50 minut čistého času, celkem z ní lze získat 2 * 20 = 40 bodů. V ústní části jsou zadány tři otázky z teorie.
Klasifikace:
výborně - alespoň 35 bodů z písemné části a tři správně zodpovězené teoretické otázky
velmi dobře - alespoň 30 bodů z písemné části, dvě správně a jedna částečně zodpovězená teoretická otázka
dobře - alespoň 20 bodů z písemné části, dvě správně a jedna částečně zodpovězená teoretická otázka
Upozornění:
Termíny a forma ověřování splnění požadavků mohou být upraveny s ohledem na opatření vyhlášená v souvislosti s vývojem epidemiologické situace v ČR.
|
Obsah
|
1. Konečné automaty
2. Úvodní pojmy z teorie jazyků
3. Gramatiky
4. Souvislost gramatik typu 3 a konečných automatů
5. Regulární výrazy a další reprezentace jazyků typu 3
6. Základní pojmy z teorie informace a kódování
7. Principy bezpečnostních kódů
8. Lineární kódy
9. Lineární kódy - pokračování
10. Cyklické kódy
11. Úvod do formální logiky, výrokový počet
12. Logické vyplývání, teorie, formální dokazování
13. Rezerva, typové příklady, příprava zkoušky
|
Aktivity
|
|
Studijní opory
|
Studenti mají na webu vyučujícího (http://home.zcu.cz/~vais) k dispozici přednáškové slajdy i ucelené výukové materiály ke všem třem oblastem, jimiž se předmět zabývá:
Vais: Teoretická informatika 1. část - Konečné automaty a regulární jazyky
http://home.zcu.cz/~vais/Vais%20-%20KA%20a%20RG.pdf
Vais: Teoretická informatika 2. část - Teorie informace a kódování
http://home.zcu.cz/~vais/TIaK3.pdf
Vais: Teoretická informatika 3. část - Úvod do logiky
http://home.zcu.cz/~vais/Vais%20-%20TI-Logika.pdf
K dispozici jsou i řešené typové příklady ze cvičení.
http://home.zcu.cz/~vais/priklady/index.html
Postupně vzniká soubor výukových animací, jež mají usnadnit pochopení probíraných teoretických nástrojů, např. http://home.zcu.cz/~vais/rka/
|
Garanti a vyučující
|
-
Garanti:
Ing. Václav Vais, Ph.D. (100%),
-
Přednášející:
Ing. Václav Vais, Ph.D. (100%),
-
Cvičící:
Ing. Petr Lobaz, Ph.D. (100%),
Ing. Jiří Skála, Ph.D. (100%),
Ing. Václav Vais, Ph.D. (100%),
|
Literatura
|
-
Základní:
Teoretická informatika 1. část - Konečné automaty a regulární jazyky
(Vais, V.)
-
Základní:
Teoretická informatika 2. část - Teorie informace a kódování
(Vais, V.)
-
Základní:
Teoretická informatika 3. část - Úvod do logiky
(Vais, V.)
-
Základní:
Záznamy přednášek z TI
(Vais)
-
Doporučená:
Melichar, B.; at al. Jazyky a překlady Cvičení. Praha, ČVUT, 2004.
-
Doporučená:
Mareš, J. Jazyky, gramatiky a automaty. ČVUT Praha, 2004.
-
Doporučená:
Adámek, Jiří. Kódování. 1. vyd. Praha : SNTL, 1989.
-
Doporučená:
Štěpánek, P. Matematická logika. Praha, Univerzita Karlova, 2000.
-
Doporučená:
Mareš, J. Teorie kódování. Skripta ČVUT, 2008.
-
On-line katalogy knihoven
|
Časová náročnost
|
Všechny formy studia
|
Aktivity
|
Časová náročnost aktivity [h]
|
Kontaktní výuka
|
65
|
Příprava na dílčí test [2-10]
|
15
|
Projekt individuální [40]
|
30
|
Příprava na zkoušku [10-60]
|
50
|
Celkem
|
160
|
|
Předpoklady
|
Odborné znalosti - pro úspěšné zvládnutí předmětu se předpokládá, že je student před zahájením výuky schopen: |
porozumět základním pojmům z diskrétní matematiky (množina, operace s množinami, kartézský součin, binární relace, ekvivalence, rozklad množiny na třídy ekvivalence, funkce, surjekce, injekce, bijekce) |
porozumět základním pojmúm z teorie grafů (vrchol, hrana, graf, cesta, dosažitelnost) |
porozumět základním pojmům z pravděpodobnosti (pravděpodobnost jevu, nezávislost jevů) |
porozumět základním pojmům z lineární algebry (těleso, vektorový prostor, lineární zobrazení, práce s maticemi) |
Odborné dovednosti - pro úspěšné zvládnutí předmětu se předpokládá, že student před zahájením výuky dokáže: |
programovat jednodušší aplikace v některém vyšším programovacím jazyku (Java, C, Pascal) |
Obecné způsobilosti - před zahájením studia předmětu je student schopen: |
bc. studium: své učení a pracovní činnost si sám plánuje a organizuje, |
bc. studium: efektivně využívá moderní informační technologie, |
bc. studium: kriticky přistupuje ke zdrojům informací, informace tvořivě zpracovává a využívá při svém studiu a praxi, |
|
Výsledky učení
|
Odborné znalosti - po absolvování předmětu prokazuje student znalosti: |
znát základy teorie informace |
rozumět problematice kódování informace pro účely přenosu a uchovávání v informačních systémech |
Odborné dovednosti - po absolvování předmětu prokazuje student dovednosti: |
aktivně pracovat s konečněautomatovými modely (např. při analýze komunikačních protokolů) |
aplikovat regulární jazyky a výrokový počet při řešení některých úloh z oblasti umělé inteligence |
uplatnit znalosti při řešení běžných provozních problémů informačních a komunikačních systémů |
znalosti používat při řešení širokého spektra problémů až do úrovně softwarové nebo hardwarové realizace |
Obecné způsobilosti - po absolvování předmětu je student schopen: |
bc. studium: srozumitelně a přesvědčivě sdělují odborníkům i laikům informace o povaze odborných problémů a vlastním názoru na jejich řešení, |
|
Hodnoticí metody
|
Odborné znalosti - odborné znalosti dosažené studiem předmětu jsou ověřovány hodnoticími metodami: |
Test, |
Písemná zkouška, |
Ústní zkouška, |
Odborné dovednosti - odborné dovednosti dosažené studiem předmětu jsou ověřovány hodnoticími metodami: |
Demonstrace dovedností (praktická činnost), |
Výstupní projekt, |
Průběžné hodnocení, |
Obecné způsobilosti - obecné způsobilosti dosažené studiem předmětu jsou ověřovány hodnoticími metodami: |
Sebehodnocení, |
Demonstrace dovedností (praktická činnost), |
|
Vyučovací metody
|
Odborné znalosti - pro dosažení odborných znalostí jsou užívány vyučovací metody: |
Přednáška s aktivizací studentů, |
Projektová výuka, |
Odborné dovednosti - pro dosažení odborných dovedností jsou užívány vyučovací metody: |
Cvičení (praktické činnosti), |
Seminární výuka (diskusní metody), |
Obecné způsobilosti - pro dosažení obecných způsobilostí jsou užívány vyučovací metody: |
Projektová výuka, |
Samostudium, |
|
|
|
|